# Work-around a problem in backtrack
gap> a:=Group((3,45,13)(4,46,14)(5,44,25)(6,43,26)(7,62,33)
> (8,61,34)(9,29,31)(10,30,32)(15,18,20)(16,17,19)
> (21,63,51)(22,64,52)(23,36,27)(24,35,28)(37,50,47)
> (38,49,48)(39,56,42)(40,55,41)(53,58,60)(54,57,59)
> (65,161,97)(66,162,98)(67,163,99)(68,164,100)(69,165,101)
> (70,166,102)(71,167,103)(72,168,104)(73,169,105)(74,170,106)
> (75,171,107)(76,172,108)(77,173,109)(78,174,110)(79,175,111)
> (80,176,112)(81,177,113)(82,178,114)(83,179,115)(84,180,116)
> (85,181,117)(86,182,118)(87,183,119)(88,184,120)(89,185,121)
> (90,186,122)(91,187,123)(92,188,124)(93,189,125)(94,190,126)
> (95,191,127)(96,192,128)(129,312,241)(130,311,242)(131,319,250)
> (132,320,249)(133,308,245)(134,307,246)(135,315,254)(136,316,253)
> (137,310,244)(138,309,243)(139,317,251)(140,318,252)(141,305,247)
> (142,306,248)(143,313,255)(144,314,256)(145,302,226)(146,301,225)
> (147,293,233)(148,294,234)(149,297,230)(150,298,229)(151,289,238)
> (152,290,237)(153,304,227)(154,303,228)(155,296,236)(156,295,235)
> (157,300,231)(158,299,232)(159,292,240)(160,291,239)(193,375,279)
> (194,376,280)(195,368,272)(196,367,271)(197,373,277)(198,374,278)
> (199,359,263)(200,360,264)(201,371,275)(202,372,276)(203,363,267)
> (204,364,268)(205,370,274)(206,369,273)(207,356,260)(208,355,259)
> (209,366,270)(210,365,269)(211,361,265)(212,362,266)(213,357,261)
> (214,358,262)(215,353,257)(216,354,258)(217,384,288)(218,383,287)
> (219,379,283)(220,380,284)(221,381,285)(222,382,286)(223,378,282)
> (224,377,281)(321,417,391)(322,418,392)(323,441,406)(324,442,405)
> (325,426,400)(326,425,399)(327,443,408)(328,444,407)(329,421,387)
> (330,422,388)(331,446,401)(332,445,402)(333,430,395)(334,429,396)
> (335,448,403)(336,447,404)(337,434,414)(338,433,413)(339,438,410)
> (340,437,409)(341,435,415)(342,436,416)(343,439,411)(344,440,412)
> (345,420,389)(346,419,390)(347,423,386)(348,424,385)(349,428,398)
> (350,427,397)(351,431,394)(352,432,393),
> (3,15)(4,16)(5,27)(6,28)(7,35)(8,36)(9,41)(10,42)
> (13,32)(14,31)(17,29)(18,30)(19,55)(20,56)(21,22)(23,53)
> (24,54)(25,58)(26,57)(33,43)(34,44)(37,38)(39,45)(40,46)
> (47,48)(51,52)(59,62)(60,61)(65,87)(66,88)(67,80)(68,79)
> (69,85)(70,86)(73,83)(74,84)(77,82)(78,81)(89,96)(90,95)
> (97,193)(98,194)(99,195)(100,196)(101,197)(102,198)(103,199)(104,200)
> (105,201)(106,202)(107,203)(108,204)(109,205)(110,206)(111,207)(112,208)
> (113,209)(114,210)(115,211)(116,212)(117,213)(118,214)(119,215)(120,216)
> (121,217)(122,218)(123,219)(124,220)(125,221)(126,222)(127,223)(128,224)
> (129,151)(130,152)(131,144)(132,143)(133,149)(134,150)(137,147)(138,148)
> (141,146)(142,145)(153,160)(154,159)(161,257)(162,258)(163,259)(164,260)
> (165,261)(166,262)(167,263)(168,264)(169,265)(170,266)(171,267)(172,268)
> (173,269)(174,270)(175,271)(176,272)(177,273)(178,274)(179,275)(180,276)
> (181,277)(182,278)(183,279)(184,280)(185,281)(186,282)(187,283)(188,284)
> (189,285)(190,286)(191,287)(192,288)(225,322)(226,321)(227,323)(228,324)
> (229,326)(230,325)(231,327)(232,328)(233,330)(234,329)(235,331)(236,332)
> (237,334)(238,333)(239,335)(240,336)(241,337)(242,338)(243,339)(244,340)
> (245,341)(246,342)(247,343)(248,344)(249,346)(250,345)(251,348)(252,347)
> (253,350)(254,349)(255,352)(256,351)(289,414)(290,413)(291,406)(292,405)
> (293,409)(294,410)(295,401)(296,402)(297,415)(298,416)(299,407)(300,408)
> (301,411)(302,412)(303,404)(304,403)(305,392)(306,391)(307,399)(308,400)
> (309,387)(310,388)(311,396)(312,395)(313,390)(314,389)(315,398)(316,397)
> (317,385)(318,386)(319,394)(320,393)(353,375)(354,376)(355,368)(356,367)
> (357,373)(358,374)(361,371)(362,372)(365,370)(366,369)(377,384)(378,383)
> (417,440)(418,439)(419,432)(420,431)(421,438)(422,437)(425,436)(426,435)
> (429,433)(430,434)(441,448)(442,447),
> (3,14)(4,13)(5,25)(6,26)(7,37)(8,38)(15,17)(16,18)
> (19,20)(21,40)(22,39)(23,28)(24,27)(29,31)(30,32)(33,50)
> (34,49)(35,36)(41,63)(42,64)(45,46)(47,62)(48,61)(51,55)
> (52,56)(53,57)(54,58)(59,60)(65,101)(66,102)(67,109)(68,110)
> (69,97)(70,98)(71,105)(72,106)(73,103)(74,104)(75,112)(76,111)
> (77,99)(78,100)(79,108)(80,107)(81,113)(82,114)(83,121)(84,122)
> (85,117)(86,118)(87,126)(88,125)(89,115)(90,116)(91,123)(92,124)
> (93,120)(94,119)(95,127)(96,128)(129,245)(130,246)(131,247)(132,248)
> (133,241)(134,242)(135,244)(136,243)(137,254)(138,253)(139,256)(140,255)
> (141,250)(142,249)(143,252)(144,251)(145,226)(146,225)(147,227)(148,228)
> (149,230)(150,229)(151,232)(152,231)(153,233)(154,234)(155,236)(156,235)
> (157,237)(158,238)(159,240)(160,239)(161,165)(162,166)(163,173)(164,174)
> (167,169)(168,170)(171,176)(172,175)(179,185)(180,186)(183,190)(184,189)
> (193,213)(194,214)(195,210)(196,209)(197,222)(198,221)(199,217)(200,218)
> (203,205)(204,206)(211,224)(212,223)(257,353)(258,354)(259,355)(260,356)
> (261,375)(262,376)(263,384)(264,383)(265,377)(266,378)(267,370)(268,369)
> (269,368)(270,367)(271,366)(272,365)(273,364)(274,363)(275,371)(276,372)
> (277,382)(278,381)(279,357)(280,358)(281,361)(282,362)(283,379)(284,380)
> (285,374)(286,373)(287,360)(288,359)(289,299)(290,300)(293,304)(294,303)
> (305,319)(306,320)(307,311)(308,312)(309,316)(310,315)(313,318)(314,317)
> (321,346)(322,345)(323,349)(324,350)(325,337)(326,338)(327,342)(328,341)
> (329,336)(330,335)(343,348)(344,347)(385,439)(386,440)(387,447)(388,448)
> (389,418)(390,417)(391,419)(392,420)(393,432)(394,431)(395,430)(396,429)
> (397,442)(398,441)(399,433)(400,434)(401,446)(402,445)(403,422)(404,421)
> (405,427)(406,428)(407,435)(408,436)(409,437)(410,438)(411,424)(412,423)
> (413,425)(414,426)(415,444)(416,443),
> (1,3)(2,4)(5,17)(6,18)(7,19)(8,20)(9,21)(10,22)
> (11,23)(12,24)(13,46)(14,45)(15,49)(16,50)(25,61)(26,62)
> (27,35)(28,36)(29,55)(30,56)(31,57)(32,58)(33,48)(34,47)
> (37,43)(38,44)(39,59)(40,60)(41,52)(42,51)(53,63)(54,64)
> (65,77,66,78)(67,80,68,79)(69,74,70,73)(71,76,72,75)
> (81,88,82,87)(83,85,84,86)(89,96,90,95)(91,93,92,94)
> (97,226,98,225)(99,228,100,227)(101,230,102,229)(103,232,104,231)
> (105,234,106,233)(107,236,108,235)(109,238,110,237)(111,240,112,239)
> (113,242,114,241)(115,244,116,243)(117,246,118,245)(119,248,120,247)
> (121,250,122,249)(123,252,124,251)(125,254,126,253)(127,256,128,255)
> (129,141,130,142)(131,144,132,143)(133,138,134,137)(135,140,136,139)
> (145,152,146,151)(147,149,148,150)(153,160,154,159)(155,157,156,158)
> (161,290,162,289)(163,292,164,291)(165,294,166,293)(167,296,168,295)
> (169,298,170,297)(171,300,172,299)(173,302,174,301)(175,304,176,303)
> (177,306,178,305)(179,308,180,307)(181,310,182,309)(183,312,184,311)
> (185,314,186,313)(187,316,188,315)(189,318,190,317)(191,320,192,319)
> (193,209,194,210)(195,217,196,218)(197,213,198,214)(199,221,200,222)
> (201,212,202,211)(203,220,204,219)(205,215,206,216)(207,224,208,223)
> (257,280,258,279)(259,288,260,287)(261,275,262,276)(263,283,264,284)
> (265,277,266,278)(267,285,268,286)(269,273,270,274)(271,282,272,281)
> (321,338,322,337)(323,346,324,345)(325,342,326,341)(327,350,328,349)
> (329,339,330,340)(331,347,332,348)(333,344,334,343)(335,351,336,352)
> (353,365,354,366)(355,367,356,368)(357,362,358,361)(359,363,360,364)
> (369,376,370,375)(371,373,372,374)(377,383,378,384)(379,382,380,381)
> (385,408,386,407)(387,416,388,415)(389,403,390,404)(391,411,392,412)
> (393,405,394,406)(395,413,396,414)(397,401,398,402)(399,410,400,409)
> (417,430,418,429)(419,432,420,431)(421,425,422,426)(423,428,424,427)
> (433,439,434,440)(435,438,436,437)(441,448,442,447)(443,445,444,446),
> (1,6,2,5)(3,18,4,17)(7,16,8,15)(9,29,10,30)
> (11,32,12,31)(13,48,14,47)(19,50,20,49)(21,55,22,56)
> (23,58,24,57)(25,43,26,44)(27,51,28,52)(33,45,34,46)
> (35,42,36,41)(37,62,38,61)(39,54,40,53)(59,64,60,63)
> (65,78)(66,77)(67,80)(68,79)(69,73)(70,74)(71,76)(72,75)
> (81,88)(82,87)(83,86)(84,85)(89,95)(90,96)(91,93)(92,94)
> (97,225)(98,226)(99,227)(100,228)(101,230)(102,229)(103,232)(104,231)
> (105,234)(106,233)(107,236)(108,235)(109,237)(110,238)(111,239)(112,240)
> (113,242)(114,241)(115,243)(116,244)(117,245)(118,246)(119,248)(120,247)
> (121,250)(122,249)(123,251)(124,252)(125,253)(126,254)(127,256)(128,255)
> (129,142)(130,141)(131,144)(132,143)(133,137)(134,138)(135,140)(136,139)
> (145,152)(146,151)(147,150)(148,149)(153,159)(154,160)(155,157)(156,158)
> (161,290)(162,289)(163,291)(164,292)(165,293)(166,294)(167,296)(168,295)
> (169,298)(170,297)(171,299)(172,300)(173,301)(174,302)(175,304)(176,303)
> (177,306)(178,305)(179,308)(180,307)(181,309)(182,310)(183,311)(184,312)
> (185,313)(186,314)(187,315)(188,316)(189,318)(190,317)(191,320)(192,319)
> (193,321)(194,322)(195,323)(196,324)(197,325)(198,326)(199,327)(200,328)
> (201,329)(202,330)(203,331)(204,332)(205,333)(206,334)(207,335)(208,336)
> (209,337)(210,338)(211,339)(212,340)(213,341)(214,342)(215,343)(216,344)
> (217,345)(218,346)(219,347)(220,348)(221,349)(222,350)(223,351)(224,352)
> (257,280)(258,279)(259,288)(260,287)(261,276)(262,275)(263,284)(264,283)
> (265,277)(266,278)(267,285)(268,286)(269,274)(270,273)(271,281)(272,282)
> (353,417)(354,418)(355,419)(356,420)(357,421)(358,422)(359,423)(360,424)
> (361,425)(362,426)(363,427)(364,428)(365,429)(366,430)(367,431)(368,432)
> (369,433)(370,434)(371,435)(372,436)(373,437)(374,438)(375,439)(376,440)
> (377,441)(378,442)(379,443)(380,444)(381,445)(382,446)(383,447)(384,448)
> (385,408)(386,407)(387,416)(388,415)(389,404)(390,403)(391,412)(392,411)
> (393,405)(394,406)(395,413)(396,414)(397,402)(398,401)(399,409)(400,410),
> (1,7)(2,8)(3,19)(4,20)(5,15)(6,16)(9,27)(10,28)
> (11,39)(12,40)(13,44)(14,43)(17,49)(18,50)(21,35)(22,36)
> (23,59)(24,60)(25,48)(26,47)(29,51)(30,52)(31,53)(32,54)
> (33,61)(34,62)(37,45)(38,46)(41,56)(42,55)(57,63)(58,64)
> (65,89)(66,90)(67,81)(68,82)(69,93)(70,94)(71,85)(72,86)
> (73,91)(74,92)(75,83)(76,84)(77,96)(78,95)(79,87)(80,88)
> (97,230)(98,229)(99,232)(100,231)(101,225)(102,226)(103,227)(104,228)
> (105,237)(106,238)(107,240)(108,239)(109,234)(110,233)(111,235)(112,236)
> (113,246)(114,245)(115,248)(116,247)(117,241)(118,242)(119,243)(120,244)
> (121,254)(122,253)(123,256)(124,255)(125,249)(126,250)(127,251)(128,252)
> (129,153)(130,154)(131,145)(132,146)(133,157)(134,158)(135,149)(136,150)
> (137,155)(138,156)(139,147)(140,148)(141,160)(142,159)(143,151)(144,152)
> (161,315)(162,316)(163,307)(164,308)(165,320)(166,319)(167,312)(168,311)
> (169,314)(170,313)(171,306)(172,305)(173,318)(174,317)(175,309)(176,310)
> (177,299)(178,300)(179,292)(180,291)(181,304)(182,303)(183,295)(184,296)
> (185,297)(186,298)(187,290)(188,289)(189,301)(190,302)(191,293)(192,294)
> (193,201)(194,202)(195,204)(196,203)(197,206)(198,205)(199,208)(200,207)
> (209,212)(210,211)(213,216)(214,215)(217,219)(218,220)(221,223)(222,224)
> (257,385)(258,386)(259,387)(260,388)(261,389)(262,390)(263,391)(264,392)
> (265,393)(266,394)(267,395)(268,396)(269,397)(270,398)(271,399)(272,400)
> (273,401)(274,402)(275,403)(276,404)(277,405)(278,406)(279,407)(280,408)
> (281,409)(282,410)(283,411)(284,412)(285,413)(286,414)(287,415)(288,416)
> (321,329)(322,330)(323,332)(324,331)(325,334)(326,333)(327,336)(328,335)
> (337,340)(338,339)(341,344)(342,343)(345,347)(346,348)(349,351)(350,352)
> (353,419)(354,420)(355,417)(356,418)(357,423)(358,424)(359,421)(360,422)
> (361,427)(362,428)(363,425)(364,426)(365,432)(366,431)(367,430)(368,429)
> (369,442)(370,441)(371,444)(372,443)(373,446)(374,445)(375,448)(376,447)
> (377,434)(378,433)(379,436)(380,435)(381,438)(382,437)(383,440)(384,439),
> (1,10,2,9)(3,22,4,21)(5,30,6,29)(7,28,8,27)
> (11,44,12,43)(13,40,14,39)(15,52,16,51)(17,56,18,55)
> (19,36,20,35)(23,38,24,37)(25,32,26,31)(33,64,34,63)
> (41,50,42,49)(45,59,46,60)(47,53,48,54)(57,61,58,62)
> (69,70)(71,72)(77,78)(79,80)(85,86)(87,88)(93,94)(95,96)
> (97,98)(99,100)(105,106)(107,108)(117,118)(119,120)(125,126)(127,128)
> (133,134)(135,136)(141,142)(143,144)(149,150)(151,152)(157,158)(159,160)
> (161,312)(162,311)(163,319)(164,320)(165,308)(166,307)(167,315)(168,316)
> (169,310)(170,309)(171,317)(172,318)(173,305)(174,306)(175,313)(176,314)
> (177,301)(178,302)(179,294)(180,293)(181,298)(182,297)(183,290)(184,289)
> (185,303)(186,304)(187,295)(188,296)(189,299)(190,300)(191,291)(192,292)
> (193,338)(194,337)(195,345)(196,346)(197,341)(198,342)(199,350)(200,349)
> (201,339)(202,340)(203,348)(204,347)(205,343)(206,344)(207,351)(208,352)
> (209,321)(210,322)(211,330)(212,329)(213,326)(214,325)(215,334)(216,333)
> (217,324)(218,323)(219,331)(220,332)(221,327)(222,328)(223,336)(224,335)
> (229,230)(231,232)(237,238)(239,240)(241,242)(243,244)(249,250)(251,252)
> (259,260)(261,262)(265,266)(271,272)(273,274)(279,280)(283,284)(285,286)
> (355,356)(357,358)(363,364)(365,366)(373,374)(375,376)(377,378)(379,380)
> (387,388)(389,390)(393,394)(399,400)(401,402)(407,408)(411,412)(413,414)
> (417,418)(423,424)(425,426)(431,432)(433,434)(435,436)(445,446)(447,448),
> (1,12,2,11)(3,24,4,23)(5,32,6,31)(7,40,8,39)
> (9,44,10,43)(13,28,14,27)(15,54,16,53)(17,58,18,57)
> (19,60,20,59)(21,38,22,37)(25,30,26,29)(33,41,34,42)
> (35,46,36,45)(47,51,48,52)(49,64,50,63)(55,61,56,62)
> (65,129)(66,130)(67,131)(68,132)(69,133)(70,134)(71,135)(72,136)
> (73,137)(74,138)(75,139)(76,140)(77,141)(78,142)(79,143)(80,144)
> (81,145)(82,146)(83,147)(84,148)(85,149)(86,150)(87,151)(88,152)
> (89,153)(90,154)(91,155)(92,156)(93,157)(94,158)(95,159)(96,160)
> (97,241)(98,242)(99,250)(100,249)(101,245)(102,246)(103,254)(104,253)
> (105,244)(106,243)(107,251)(108,252)(109,247)(110,248)(111,255)(112,256)
> (113,226)(114,225)(115,233)(116,234)(117,230)(118,229)(119,238)(120,237)
> (121,227)(122,228)(123,236)(124,235)(125,231)(126,232)(127,240)(128,239)
> (161,312)(162,311)(163,319)(164,320)(165,308)(166,307)(167,315)(168,316)
> (169,310)(170,309)(171,317)(172,318)(173,305)(174,306)(175,313)(176,314)
> (177,302)(178,301)(179,293)(180,294)(181,297)(182,298)(183,289)(184,290)
> (185,304)(186,303)(187,296)(188,295)(189,300)(190,299)(191,292)(192,291)
> (193,337)(194,338)(195,345)(196,346)(197,341)(198,342)(199,349)(200,350)
> (201,340)(202,339)(203,348)(204,347)(205,343)(206,344)(207,352)(208,351)
> (209,321)(210,322)(211,330)(212,329)(213,325)(214,326)(215,333)(216,334)
> (217,323)(218,324)(219,332)(220,331)(221,327)(222,328)(223,336)(224,335)
> (257,395)(258,396)(259,394)(260,393)(261,400)(262,399)(263,398)(264,397)
> (265,388)(266,387)(267,385)(268,386)(269,392)(270,391)(271,390)(272,389)
> (273,412)(274,411)(275,409)(276,410)(277,415)(278,416)(279,414)(280,413)
> (281,403)(282,404)(283,402)(284,401)(285,408)(286,407)(287,405)(288,406)
> (353,430)(354,429)(355,431)(356,432)(357,426)(358,425)(359,428)(360,427)
> (361,422)(362,421)(363,424)(364,423)(365,418)(366,417)(367,419)(368,420)
> (369,440)(370,439)(371,437)(372,438)(373,435)(374,436)(375,434)(376,433)
> (377,448)(378,447)(379,445)(380,446)(381,443)(382,444)(383,442)(384,441),
> (3,4)(17,18)(19,20)(21,22)(23,24)(33,34)(35,36)(37,38)
> (41,42)(45,46)(49,50)(55,56)(57,58)(59,60)(61,62)(63,64)
> (65,95)(66,96)(67,87)(68,88)(69,92)(70,91)(71,84)(72,83)
> (73,93)(74,94)(75,85)(76,86)(77,89)(78,90)(79,82)(80,81)
> (97,102)(98,101)(99,103)(100,104)(105,109)(106,110)(107,111)(108,112)
> (113,118)(114,117)(115,120)(116,119)(121,125)(122,126)(123,127)(124,128)
> (129,159)(130,160)(131,151)(132,152)(133,156)(134,155)(135,148)(136,147)
> (137,157)(138,158)(139,149)(140,150)(141,153)(142,154)(143,146)(144,145)
> (161,188)(162,187)(163,179)(164,180)(165,191)(166,192)(167,184)(168,183)
> (169,186)(170,185)(171,177)(172,178)(173,190)(174,189)(175,182)(176,181)
> (193,211)(194,212)(195,220)(196,219)(197,215)(198,216)(199,224)(200,223)
> (201,209)(202,210)(203,218)(204,217)(205,214)(206,213)(207,222)(208,221)
> (225,230)(226,229)(227,231)(228,232)(233,237)(234,238)(235,239)(236,240)
> (241,246)(242,245)(243,248)(244,247)(249,253)(250,254)(251,255)(252,256)
> (257,286)(258,285)(259,278)(260,277)(261,281)(262,282)(263,273)(264,274)
> (265,288)(266,287)(267,280)(268,279)(269,284)(270,283)(271,275)(272,276)
> (289,316)(290,315)(291,307)(292,308)(293,319)(294,320)(295,312)(296,311)
> (297,314)(298,313)(299,305)(300,306)(301,318)(302,317)(303,310)(304,309)
> (321,340)(322,339)(323,347)(324,348)(325,344)(326,343)(327,351)(328,352)
> (329,338)(330,337)(331,345)(332,346)(333,341)(334,342)(335,349)(336,350)
> (353,355)(354,356)(357,360)(358,359)(361,363)(362,364)(365,367)(366,368)
> (369,378)(370,377)(371,380)(372,379)(373,381)(374,382)(375,383)(376,384)
> (385,413)(386,414)(387,405)(388,406)(389,410)(390,409)(391,402)(392,401)
> (393,415)(394,416)(395,407)(396,408)(397,411)(398,412)(399,404)(400,403)
> (417,420)(418,419)(421,423)(422,424)(425,428)(426,427)(429,432)(430,431)
> (433,441)(434,442)(435,443)(436,444)(437,446)(438,445)(439,448)(440,447),
> (7,8)(13,14)(15,16)(19,20)(27,28)(33,34)(35,36)(39,40)
> (41,42)(45,46)(47,48)(49,50)(51,52)(53,54)(59,60)(63,64)
> (65,70)(66,69)(67,71)(68,72)(73,77)(74,78)(75,79)(76,80)
> (81,86)(82,85)(83,88)(84,87)(89,93)(90,94)(91,95)(92,96)
> (97,124)(98,123)(99,115)(100,116)(101,127)(102,128)(103,120)(104,119)
> (105,122)(106,121)(107,113)(108,114)(109,126)(110,125)(111,118)(112,117)
> (129,134)(130,133)(131,135)(132,136)(137,141)(138,142)(139,143)(140,144)
> (145,150)(146,149)(147,152)(148,151)(153,157)(154,158)(155,159)(156,160)
> (161,191)(162,192)(163,183)(164,184)(165,188)(166,187)(167,180)(168,179)
> (169,189)(170,190)(171,181)(172,182)(173,185)(174,186)(175,178)(176,177)
> (193,204)(194,203)(195,202)(196,201)(197,207)(198,208)(199,206)(200,205)
> (209,219)(210,220)(211,217)(212,218)(213,224)(214,223)(215,222)(216,221)
> (225,252)(226,251)(227,243)(228,244)(229,255)(230,256)(231,248)(232,247)
> (233,250)(234,249)(235,241)(236,242)(237,254)(238,253)(239,246)(240,245)
> (257,259)(258,260)(261,264)(262,263)(265,267)(266,268)(269,271)(270,272)
> (273,282)(274,281)(275,284)(276,283)(277,285)(278,286)(279,287)(280,288)
> (289,319)(290,320)(291,311)(292,312)(293,316)(294,315)(295,308)(296,307)
> (297,317)(298,318)(299,309)(300,310)(301,313)(302,314)(303,306)(304,305)
> (321,332)(322,331)(323,330)(324,329)(325,335)(326,336)(327,334)(328,333)
> (337,347)(338,348)(339,345)(340,346)(341,352)(342,351)(343,350)(344,349)
> (353,373)(354,374)(355,381)(356,382)(357,369)(358,370)(359,377)(360,378)
> (361,375)(362,376)(363,383)(364,384)(365,372)(366,371)(367,379)(368,380)
> (385,388)(386,387)(389,391)(390,392)(393,396)(394,395)(397,400)(398,399)
> (401,409)(402,410)(403,411)(404,412)(405,414)(406,413)(407,416)(408,415)
> (417,437)(418,438)(419,445)(420,446)(421,433)(422,434)(423,441)(424,442)
> (425,439)(426,440)(427,447)(428,448)(429,436)(430,435)(431,443)(432,444),
> (7,8)(9,10)(15,16)(19,20)(21,22)(25,26)(29,30)(37,38)
> (39,40)(43,44)(49,50)(53,54)(55,56)(59,60)(61,62)(63,64)
> (65,80)(66,79)(67,78)(68,77)(69,75)(70,76)(71,74)(72,73)
> (81,95)(82,96)(83,93)(84,94)(85,92)(86,91)(87,90)(88,89)
> (97,115)(98,116)(99,124)(100,123)(101,119)(102,120)(103,128)(104,127)
> (105,113)(106,114)(107,122)(108,121)(109,118)(110,117)(111,126)(112,125)
> (129,144)(130,143)(131,142)(132,141)(133,139)(134,140)(135,138)(136,137)
> (145,159)(146,160)(147,157)(148,158)(149,156)(150,155)(151,154)(152,153)
> (161,190)(162,189)(163,182)(164,181)(165,185)(166,186)(167,177)(168,178)
> (169,192)(170,191)(171,184)(172,183)(173,188)(174,187)(175,179)(176,180)
> (193,198)(194,197)(195,199)(196,200)(201,205)(202,206)(203,207)(204,208)
> (209,214)(210,213)(211,216)(212,215)(217,221)(218,222)(219,223)(220,224)
> (225,243)(226,244)(227,252)(228,251)(229,247)(230,248)(231,256)(232,255)
> (233,241)(234,242)(235,250)(236,249)(237,246)(238,245)(239,254)(240,253)
> (257,284)(258,283)(259,275)(260,276)(261,287)(262,288)(263,280)(264,279)
> (265,282)(266,281)(267,273)(268,274)(269,286)(270,285)(271,278)(272,277)
> (289,318)(290,317)(291,310)(292,309)(293,313)(294,314)(295,305)(296,306)
> (297,320)(298,319)(299,312)(300,311)(301,316)(302,315)(303,307)(304,308)
> (321,326)(322,325)(323,327)(324,328)(329,333)(330,334)(331,335)(332,336)
> (337,342)(338,341)(339,344)(340,343)(345,349)(346,350)(347,351)(348,352)
> (353,378)(354,377)(355,369)(356,370)(357,381)(358,382)(359,374)(360,373)
> (361,380)(362,379)(363,371)(364,372)(365,384)(366,383)(367,376)(368,375)
> (385,412)(386,411)(387,403)(388,404)(389,415)(390,416)(391,408)(392,407)
> (393,410)(394,409)(395,401)(396,402)(397,414)(398,413)(399,406)(400,405)
> (417,442)(418,441)(419,433)(420,434)(421,445)(422,446)(423,438)(424,437)
> (425,444)(426,443)(427,435)(428,436)(429,448)(430,447)(431,440)(432,439),
> (3,4)(5,6)(7,8)(13,14)(21,22)(23,24)(25,26)(27,28)
> (29,30)(31,32)(33,34)(37,38)(39,40)(41,42)(49,50)(63,64)
> (65,67)(66,68)(69,72)(70,71)(73,75)(74,76)(77,79)(78,80)
> (81,90)(82,89)(83,92)(84,91)(85,93)(86,94)(87,95)(88,96)
> (97,106)(98,105)(99,108)(100,107)(101,109)(102,110)(103,112)(104,111)
> (113,116)(114,115)(117,120)(118,119)(121,124)(122,123)(125,128)(126,127)
> (129,131)(130,132)(133,136)(134,135)(137,139)(138,140)(141,143)(142,144)
> (145,154)(146,153)(147,156)(148,155)(149,157)(150,158)(151,159)(152,160)
> (161,172)(162,171)(163,170)(164,169)(165,175)(166,176)(167,174)(168,173)
> (177,187)(178,188)(179,185)(180,186)(181,192)(182,191)(183,190)(184,189)
> (193,213)(194,214)(195,221)(196,222)(197,209)(198,210)(199,217)(200,218)
> (201,215)(202,216)(203,223)(204,224)(205,212)(206,211)(207,219)(208,220)
> (225,233)(226,234)(227,235)(228,236)(229,238)(230,237)(231,239)(232,240)
> (241,243)(242,244)(245,247)(246,248)(249,251)(250,252)(253,255)(254,256)
> (257,264)(258,263)(259,261)(260,262)(265,272)(266,271)(267,270)(268,269)
> (273,285)(274,286)(275,287)(276,288)(277,282)(278,281)(279,284)(280,283)
> (289,299)(290,300)(291,297)(292,298)(293,304)(294,303)(295,301)(296,302)
> (305,316)(306,315)(307,314)(308,313)(309,319)(310,320)(311,317)(312,318)
> (321,341)(322,342)(323,349)(324,350)(325,337)(326,338)(327,345)(328,346)
> (329,343)(330,344)(331,351)(332,352)(333,340)(334,339)(335,347)(336,348)
> (353,383)(354,384)(355,375)(356,376)(357,380)(358,379)(359,372)(360,371)
> (361,381)(362,382)(363,373)(364,374)(365,377)(366,378)(367,370)(368,369)
> (385,391)(386,392)(387,390)(388,389)(393,399)(394,400)(395,397)(396,398)
> (401,414)(402,413)(403,416)(404,415)(405,409)(406,410)(407,411)(408,412)
> (417,447)(418,448)(419,439)(420,440)(421,444)(422,443)(423,436)(424,435)
> (425,445)(426,446)(427,437)(428,438)(429,441)(430,442)(431,434)(432,433),
> (65,66)(67,68)(69,70)(71,72)(73,74)(75,76)(77,78)(79,80)
> (81,82)(83,84)(85,86)(87,88)(89,90)(91,92)(93,94)(95,96)
> (97,98)(99,100)(101,102)(103,104)(105,106)(107,108)(109,110)(111,112)
> (113,114)(115,116)(117,118)(119,120)(121,122)(123,124)(125,126)(127,128)
> (129,130)(131,132)(133,134)(135,136)(137,138)(139,140)(141,142)(143,144)
> (145,146)(147,148)(149,150)(151,152)(153,154)(155,156)(157,158)(159,160)
> (161,162)(163,164)(165,166)(167,168)(169,170)(171,172)(173,174)(175,176)
> (177,178)(179,180)(181,182)(183,184)(185,186)(187,188)(189,190)(191,192)
> (193,194)(195,196)(197,198)(199,200)(201,202)(203,204)(205,206)(207,208)
> (209,210)(211,212)(213,214)(215,216)(217,218)(219,220)(221,222)(223,224)
> (225,226)(227,228)(229,230)(231,232)(233,234)(235,236)(237,238)(239,240)
> (241,242)(243,244)(245,246)(247,248)(249,250)(251,252)(253,254)(255,256)
> (257,258)(259,260)(261,262)(263,264)(265,266)(267,268)(269,270)(271,272)
> (273,274)(275,276)(277,278)(279,280)(281,282)(283,284)(285,286)(287,288)
> (289,290)(291,292)(293,294)(295,296)(297,298)(299,300)(301,302)(303,304)
> (305,306)(307,308)(309,310)(311,312)(313,314)(315,316)(317,318)(319,320)
> (321,322)(323,324)(325,326)(327,328)(329,330)(331,332)(333,334)(335,336)
> (337,338)(339,340)(341,342)(343,344)(345,346)(347,348)(349,350)(351,352)
> (353,354)(355,356)(357,358)(359,360)(361,362)(363,364)(365,366)(367,368)
> (369,370)(371,372)(373,374)(375,376)(377,378)(379,380)(381,382)(383,384)
> (385,386)(387,388)(389,390)(391,392)(393,394)(395,396)(397,398)(399,400)
> (401,402)(403,404)(405,406)(407,408)(409,410)(411,412)(413,414)(415,416)
> (417,418)(419,420)(421,422)(423,424)(425,426)(427,428)(429,430)(431,432)
> (433,434)(435,436)(437,438)(439,440)(441,442)(443,444)(445,446)(447,448),
> (65,66)(67,68)(69,70)(71,72)(73,74)(75,76)(77,78)(79,80)
> (81,82)(83,84)(85,86)(87,88)(89,90)(91,92)(93,94)(95,96)
> (97,98)(99,100)(101,102)(103,104)(105,106)(107,108)(109,110)(111,112)
> (113,114)(115,116)(117,118)(119,120)(121,122)(123,124)(125,126)(127,128)
> (129,130)(131,132)(133,134)(135,136)(137,138)(139,140)(141,142)(143,144)
> (145,146)(147,148)(149,150)(151,152)(153,154)(155,156)(157,158)(159,160)
> (161,162)(163,164)(165,166)(167,168)(169,170)(171,172)(173,174)(175,176)
> (177,178)(179,180)(181,182)(183,184)(185,186)(187,188)(189,190)(191,192)
> (193,194)(195,196)(197,198)(199,200)(201,202)(203,204)(205,206)(207,208)
> (209,210)(211,212)(213,214)(215,216)(217,218)(219,220)(221,222)(223,224)
> (225,226)(227,228)(229,230)(231,232)(233,234)(235,236)(237,238)(239,240)
> (241,242)(243,244)(245,246)(247,248)(249,250)(251,252)(253,254)(255,256)
> (257,258)(259,260)(261,262)(263,264)(265,266)(267,268)(269,270)(271,272)
> (273,274)(275,276)(277,278)(279,280)(281,282)(283,284)(285,286)(287,288)
> (289,290)(291,292)(293,294)(295,296)(297,298)(299,300)(301,302)(303,304)
> (305,306)(307,308)(309,310)(311,312)(313,314)(315,316)(317,318)(319,320)
> (321,322)(323,324)(325,326)(327,328)(329,330)(331,332)(333,334)(335,336)
> (337,338)(339,340)(341,342)(343,344)(345,346)(347,348)(349,350)(351,352)
> (353,354)(355,356)(357,358)(359,360)(361,362)(363,364)(365,366)(367,368)
> (369,370)(371,372)(373,374)(375,376)(377,378)(379,380)(381,382)(383,384)
> (385,386)(387,388)(389,390)(391,392)(393,394)(395,396)(397,398)(399,400)
> (401,402)(403,404)(405,406)(407,408)(409,410)(411,412)(413,414)(415,416)
> (417,418)(419,420)(421,422)(423,424)(425,426)(427,428)(429,430)(431,432)
> (433,434)(435,436)(437,438)(439,440)(441,442)(443,444)(445,446)(447,448),
> (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)
> (17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)
> (33,34)(35,36)(37,38)(39,40)(41,42)(43,44)(45,46)(47,48)
> (49,50)(51,52)(53,54)(55,56)(57,58)(59,60)(61,62)(63,
> 64));;
gap> b:=Group(
> (1,12,2,11)(3,7,20,23,39,60,4,8,19,24,40,59)
> (5,41,36,31,33,46,6,42,35,32,34,45)(9,58,55,43,
> 17,62,10,57,56,44,18,61)(13,53,30,27,16,25,14,54,
> 29,28,15,26)(21,49,51,37,63,47,22,50,52,38,64,48)
> (65,413,114,129,280,225)(66,414,113,130,279,226)(67,406,100,131,
> 288,249)(68,405,99,132,287,250)(69,410,116,133,276,234)
> (70,409,115,134,275,233)(71,401,107,135,284,251)(72,402,108,136,
> 283,252)(73,416,118,137,278,229)(74,415,117,138,277,230)
> (75,407,103,139,286,254)(76,408,104,140,285,253)(77,412,119,141,
> 273,238)(78,411,120,142,274,237)(79,404,112,143,282,256)
> (80,403,111,144,281,255)(81,392,98,145,269,242)(82,391,97,146,
> 270,241)(83,399,102,147,262,246)(84,400,101,148,261,245)
> (85,387,106,149,266,243)(86,388,105,150,265,244)(87,396,109,151,
> 258,247)(88,395,110,152,257,248)(89,389,122,153,272,228)
> (90,390,121,154,271,227)(91,397,125,155,264,231)(92,398,126,156,
> 263,232)(93,386,123,157,268,236)(94,385,124,158,267,235)
> (95,393,128,159,260,239)(96,394,127,160,259,240)(161,321,376,312,
> 209,433)(162,322,375,311,210,434)(163,324,384,319,218,441)
> (164,323,383,320,217,442)(165,325,372,308,213,438)(166,326,371,307,
> 214,437)(167,328,380,315,222,446)(168,327,379,316,221,445)
> (169,330,374,310,211,436)(170,329,373,309,212,435)(171,331,382,317,
> 220,444)(172,332,381,318,219,443)(173,334,369,305,216,440)
> (174,333,370,306,215,439)(175,335,378,313,224,447)(176,336,377,314,
> 223,448)(177,337,365,302,193,418)(178,338,366,301,194,417)
> (179,340,358,293,201,425)(180,339,357,294,202,426)(181,341,362,297,
> 197,421)(182,342,361,298,198,422)(183,344,354,289,206,429)
> (184,343,353,290,205,430)(185,346,368,304,196,420)(186,345,367,303,
> 195,419)(187,347,360,296,204,427)(188,348,359,295,203,428)
> (189,350,364,300,200,423)(190,349,363,299,199,424)(191,351,356,292,
> 208,432)(192,352,355,291,207,431),
> (1,12,2,11)(3,7,4,8)(5,42,6,41)(9,43,10,44)
> (13,38,14,37)(15,48,16,47)(17,61,18,62)(19,60,20,59)
> (21,28,22,27)(23,39,24,40)(25,64,26,63)(29,49,30,50)
> (31,34,32,33)(35,45,36,46)(51,54,52,53)(55,58,56,57)
> (65,228)(66,227)(67,236)(68,235)(69,242)(70,241)(71,243)
> (72,244)(73,256)(74,255)(75,254)(76,253)(77,238)(78,237)
> (79,229)(80,230)(81,234)(82,233)(83,246)(84,245)(85,251)
> (86,252)(87,231)(88,232)(89,225)(90,226)(91,247)(92,248)
> (93,249)(94,250)(95,239)(96,240)(97,134)(98,133)(99,158)
> (100,157)(101,148)(102,147)(103,139)(104,140)(105,136)(106,135)
> (107,149)(108,150)(109,155)(110,156)(111,138)(112,137)(113,154)
> (114,153)(115,146)(116,145)(117,144)(118,143)(119,141)(120,142)
> (121,130)(122,129)(123,131)(124,132)(125,151)(126,152)(127,160)
> (128,159)(161,321)(162,322)(163,343)(164,344)(165,346)(166,345)
> (167,335)(168,336)(169,330)(170,329)(171,342)(172,341)(173,348)
> (174,347)(175,328)(176,327)(177,340)(178,339)(179,337)(180,338)
> (181,332)(182,331)(183,323)(184,324)(185,325)(186,326)(187,333)
> (188,334)(189,350)(190,349)(191,351)(192,352)(193,293)(194,294)
> (195,307)(196,308)(197,318)(198,317)(199,299)(200,300)(201,302)
> (202,301)(203,305)(204,306)(205,319)(206,320)(207,291)(208,292)
> (209,312)(210,311)(211,310)(212,309)(213,304)(214,303)(215,296)
> (216,295)(217,289)(218,290)(219,297)(220,298)(221,314)(222,313)
> (223,316)(224,315)(257,398)(258,397)(259,394)(260,393)(261,400)
> (262,399)(263,395)(264,396)(265,402)(266,401)(267,405)(268,406)
> (269,410)(270,409)(271,414)(272,413)(273,412)(274,411)(275,391)
> (276,392)(277,403)(278,404)(279,390)(280,389)(281,415)(282,416)
> (283,388)(284,387)(285,408)(286,407)(287,385)(288,386)(353,441)
> (354,442)(355,431)(356,432)(357,417)(358,418)(359,440)(360,439)
> (361,444)(362,443)(363,424)(364,423)(365,425)(366,426)(367,437)
> (368,438)(369,428)(370,427)(371,419)(372,420)(373,435)(374,436)
> (375,434)(376,433)(377,445)(378,446)(379,448)(380,447)(381,421)
> (382,422)(383,429)(384,430),(1,16,2,15)(3,50,4,49)
> (5,7,6,8)(9,51,10,52)(11,54,12,53)(13,25,14,26)
> (17,19,18,20)(21,42,22,41)(23,64,24,63)(27,29,28,30)
> (31,39,32,40)(33,37,34,38)(35,55,36,56)(43,47,44,48)
> (45,62,46,61)(57,59,58,60)(65,95)(66,96)(67,88)
> (68,87)(69,91)(70,92)(71,84)(72,83)(73,93)(74,94)
> (75,86)(76,85)(77,90)(78,89)(79,82)(80,81)(97,101)
> (98,102)(99,103)(100,104)(105,109)(106,110)(107,112)(108,111)
> (113,118)(114,117)(115,119)(116,120)(121,126)(122,125)(123,127)
> (124,128)(129,159)(130,160)(131,152)(132,151)(133,155)(134,156)
> (135,148)(136,147)(137,157)(138,158)(139,150)(140,149)(141,154)
> (142,153)(143,146)(144,145)(161,187)(162,188)(163,180)(164,179)
> (165,191)(166,192)(167,184)(168,183)(169,186)(170,185)(171,177)
> (172,178)(173,189)(174,190)(175,181)(176,182)(193,329)(194,330)
> (195,332)(196,331)(197,334)(198,333)(199,336)(200,335)(201,321)
> (202,322)(203,324)(204,323)(205,326)(206,325)(207,328)(208,327)
> (209,340)(210,339)(211,338)(212,337)(213,344)(214,343)(215,342)
> (216,341)(217,347)(218,348)(219,345)(220,346)(221,351)(222,352)
> (223,349)(224,350)(225,230)(226,229)(227,232)(228,231)(233,238)
> (234,237)(235,239)(236,240)(241,245)(242,246)(243,248)(244,247)
> (249,253)(250,254)(251,256)(252,255)(257,408)(258,407)(259,416)
> (260,415)(261,404)(262,403)(263,412)(264,411)(265,405)(266,406)
> (267,413)(268,414)(269,402)(270,401)(271,409)(272,410)(273,398)
> (274,397)(275,390)(276,389)(277,393)(278,394)(279,386)(280,385)
> (281,399)(282,400)(283,392)(284,391)(285,395)(286,396)(287,388)
> (288,387)(289,316)(290,315)(291,307)(292,308)(293,320)(294,319)
> (295,311)(296,312)(297,313)(298,314)(299,306)(300,305)(301,318)
> (302,317)(303,310)(304,309)(353,355)(354,356)(357,359)(358,360)
> (361,363)(362,364)(365,368)(366,367)(369,378)(370,377)(371,380)
> (372,379)(373,382)(374,381)(375,384)(376,383)(417,419)(418,420)
> (421,423)(422,424)(425,427)(426,428)(429,432)(430,431)(433,442)
> (434,441)(435,444)(436,443)(437,446)(438,445)(439,448)(440,447),
> (1,18,2,17)(3,6,4,5)(7,49,8,50)(9,55,10,56)
> (11,58,12,57)(13,34,14,33)(15,20,16,19)(21,29,22,30)
> (23,32,24,31)(25,37,26,38)(27,41,28,42)(35,52,36,51)
> (39,63,40,64)(43,62,44,61)(45,48,46,47)(53,60,54,59)
> (65,70)(66,69)(67,72)(68,71)(73,78)(74,77)(75,79)
> (76,80)(81,85)(82,86)(83,88)(84,87)(89,93)(90,94)
> (91,96)(92,95)(97,124)(98,123)(99,115)(100,116)(101,128)
> (102,127)(103,119)(104,120)(105,121)(106,122)(107,114)(108,113)
> (109,126)(110,125)(111,118)(112,117)(129,134)(130,133)(131,136)
> (132,135)(137,142)(138,141)(139,143)(140,144)(145,149)(146,150)
> (147,152)(148,151)(153,157)(154,158)(155,160)(156,159)(161,192)
> (162,191)(163,183)(164,184)(165,188)(166,187)(167,179)(168,180)
> (169,190)(170,189)(171,181)(172,182)(173,185)(174,186)(175,177)
> (176,178)(193,348)(194,347)(195,340)(196,339)(197,351)(198,352)
> (199,343)(200,344)(201,345)(202,346)(203,337)(204,338)(205,349)
> (206,350)(207,342)(208,341)(209,332)(210,331)(211,323)(212,324)
> (213,335)(214,336)(215,328)(216,327)(217,330)(218,329)(219,321)
> (220,322)(221,334)(222,333)(223,326)(224,325)(225,251)(226,252)
> (227,244)(228,243)(229,255)(230,256)(231,248)(232,247)(233,250)
> (234,249)(235,241)(236,242)(237,253)(238,254)(239,245)(240,246)
> (257,260)(258,259)(261,264)(262,263)(265,268)(266,267)(269,271)
> (270,272)(273,281)(274,282)(275,283)(276,284)(277,285)(278,286)
> (279,287)(280,288)(289,319)(290,320)(291,312)(292,311)(293,315)
> (294,316)(295,308)(296,307)(297,317)(298,318)(299,310)(300,309)
> (301,314)(302,313)(303,306)(304,305)(353,435)(354,436)(355,444)
> (356,443)(357,439)(358,440)(359,448)(360,447)(361,434)(362,433)
> (363,441)(364,442)(365,437)(366,438)(367,445)(368,446)(369,425)
> (370,426)(371,418)(372,417)(373,430)(374,429)(375,422)(376,421)
> (377,428)(378,427)(379,419)(380,420)(381,432)(382,431)(383,423)
> (384,424)(385,387)(386,388)(389,391)(390,392)(393,395)(394,396)
> (397,400)(398,399)(401,410)(402,409)(403,412)(404,411)(405,414)
> (406,413)(407,416)(408,415));;
gap> c:=Group((1,12,2,11)(3,7,20,23,39,60,4,8,19,24,40,59)
> (5,42,36,31,34,46,6,41,35,32,33,45)(9,58,56,43,
> 17,61,10,57,55,44,18,62)(13,53,29,27,16,26,14,54,
> 30,28,15,25)(21,49,52,37,63,48,22,50,51,38,64,47)
> (65,400,103,129,261,254)(66,399,104,130,262,253)(67,397,118,131,
> 264,229)(68,398,117,132,263,230)(69,395,111,133,257,255)
> (70,396,112,134,258,256)(71,393,119,135,260,238)(72,394,120,136,
> 259,237)(73,391,100,137,270,249)(74,392,99,138,269,250)
> (75,389,114,139,272,225)(76,390,113,140,271,226)(77,387,107,141,
> 266,251)(78,388,108,142,265,252)(79,386,115,143,268,233)
> (80,385,116,144,267,234)(81,415,126,145,277,232)(82,416,125,146,
> 278,231)(83,414,121,147,279,227)(84,413,122,148,280,228)
> (85,412,128,149,273,239)(86,411,127,150,274,240)(87,409,123,151,
> 275,236)(88,410,124,152,276,235)(89,407,101,153,286,245)
> (90,408,102,154,285,246)(91,406,97,155,288,241)(92,405,98,156,
> 287,242)(93,404,109,157,282,247)(94,403,110,158,281,248)
> (95,401,106,159,284,243)(96,402,105,160,283,244)(161,335,374,312,
> 224,436)(162,336,373,311,223,435)(163,334,382,319,216,444)
> (164,333,381,320,215,443)(165,332,370,308,219,439)(166,331,369,307,
> 220,440)(167,330,378,315,211,447)(168,329,377,316,212,448)
> (169,328,376,310,222,433)(170,327,375,309,221,434)(171,326,384,317,
> 214,441)(172,325,383,318,213,442)(173,324,371,305,218,437)
> (174,323,372,306,217,438)(175,321,380,313,209,446)(176,322,379,314,
> 210,445)(177,352,358,302,207,425)(178,351,357,301,208,426)
> (179,349,365,293,199,418)(180,350,366,294,200,417)(181,347,354,297,
> 204,429)(182,348,353,298,203,430)(183,346,362,289,196,421)
> (184,345,361,290,195,422)(185,344,360,304,206,427)(186,343,359,303,
> 205,428)(187,341,368,296,197,420)(188,342,367,295,198,419)
> (189,339,356,300,202,432)(190,340,355,299,201,431)(191,338,364,292,
> 194,423)(192,337,363,291,193,424),
> (1,12,2,11)(3,7,4,8)(5,41,6,42)(9,43,10,44)
> (13,38,14,37)(15,47,16,48)(17,62,18,61)(19,60,20,59)
> (21,28,22,27)(23,39,24,40)(25,63,26,64)(29,50,30,49)
> (31,33,32,34)(35,45,36,46)(51,53,52,54)(55,57,56,58)
> (65,246)(66,245)(67,248)(68,247)(69,231)(70,232)(71,240)
> (72,239)(73,234)(74,233)(75,226)(76,225)(77,252)(78,251)
> (79,250)(80,249)(81,256)(82,255)(83,228)(84,227)(85,237)
> (86,238)(87,242)(88,241)(89,253)(90,254)(91,235)(92,236)
> (93,230)(94,229)(95,244)(96,243)(97,152)(98,151)(99,143)
> (100,144)(101,130)(102,129)(103,154)(104,153)(105,159)(106,160)
> (107,142)(108,141)(109,132)(110,131)(111,146)(112,145)(113,139)
> (114,140)(115,138)(116,137)(117,157)(118,158)(119,150)(120,149)
> (121,148)(122,147)(123,156)(124,155)(125,133)(126,134)(127,135)
> (128,136)(161,327)(162,328)(163,347)(164,348)(165,342)(166,341)
> (167,329)(168,330)(169,336)(170,335)(171,346)(172,345)(173,344)
> (174,343)(175,322)(176,321)(177,351)(178,352)(179,350)(180,349)
> (181,334)(182,333)(183,326)(184,325)(185,324)(186,323)(187,331)
> (188,332)(189,337)(190,338)(191,340)(192,339)(193,300)(194,299)
> (195,318)(196,317)(197,307)(198,308)(199,294)(200,293)(201,292)
> (202,291)(203,320)(204,319)(205,306)(206,305)(207,301)(208,302)
> (209,314)(210,313)(211,316)(212,315)(213,290)(214,289)(215,298)
> (216,297)(217,303)(218,304)(219,295)(220,296)(221,312)(222,311)
> (223,310)(224,309)(257,416)(258,415)(259,412)(260,411)(261,408)
> (262,407)(263,404)(264,403)(265,387)(266,388)(267,391)(268,392)
> (269,386)(270,385)(271,389)(272,390)(273,394)(274,393)(275,405)
> (276,406)(277,396)(278,395)(279,413)(280,414)(281,397)(282,398)
> (283,401)(284,402)(285,400)(286,399)(287,409)(288,410)(353,443)
> (354,444)(355,423)(356,424)(357,425)(358,426)(359,438)(360,437)
> (361,442)(362,441)(363,432)(364,431)(365,417)(366,418)(367,439)
> (368,440)(369,420)(370,419)(371,427)(372,428)(373,433)(374,434)
> (375,436)(376,435)(377,447)(378,448)(379,446)(380,445)(381,430)
> (382,429)(383,422)(384,421),(1,18,2,17)(3,6,4,5)
> (7,49,8,50)(9,55,10,56)(11,58,12,57)(13,34,14,33)
> (15,20,16,19)(21,29,22,30)(23,32,24,31)(25,37,26,38)
> (27,41,28,42)(35,52,36,51)(39,63,40,64)(43,62,44,61)
> (45,48,46,47)(53,60,54,59)(65,70)(66,69)(67,72)
> (68,71)(73,78)(74,77)(75,79)(76,80)(81,85)(82,86)
> (83,88)(84,87)(89,93)(90,94)(91,96)(92,95)(97,124)
> (98,123)(99,115)(100,116)(101,128)(102,127)(103,119)(104,120)
> (105,121)(106,122)(107,114)(108,113)(109,126)(110,125)(111,118)
> (112,117)(129,134)(130,133)(131,136)(132,135)(137,142)(138,141)
> (139,143)(140,144)(145,149)(146,150)(147,152)(148,151)(153,157)
> (154,158)(155,160)(156,159)(161,192)(162,191)(163,183)(164,184)
> (165,188)(166,187)(167,179)(168,180)(169,190)(170,189)(171,181)
> (172,182)(173,185)(174,186)(175,177)(176,178)(193,348)(194,347)
> (195,340)(196,339)(197,351)(198,352)(199,343)(200,344)(201,345)
> (202,346)(203,337)(204,338)(205,349)(206,350)(207,342)(208,341)
> (209,332)(210,331)(211,323)(212,324)(213,335)(214,336)(215,328)
> (216,327)(217,330)(218,329)(219,321)(220,322)(221,334)(222,333)
> (223,326)(224,325)(225,251)(226,252)(227,244)(228,243)(229,255)
> (230,256)(231,248)(232,247)(233,250)(234,249)(235,241)(236,242)
> (237,253)(238,254)(239,245)(240,246)(257,260)(258,259)(261,264)
> (262,263)(265,268)(266,267)(269,271)(270,272)(273,281)(274,282)
> (275,283)(276,284)(277,285)(278,286)(279,287)(280,288)(289,319)
> (290,320)(291,312)(292,311)(293,315)(294,316)(295,308)(296,307)
> (297,317)(298,318)(299,310)(300,309)(301,314)(302,313)(303,306)
> (304,305)(353,435)(354,436)(355,444)(356,443)(357,439)(358,440)
> (359,448)(360,447)(361,434)(362,433)(363,441)(364,442)(365,437)
> (366,438)(367,445)(368,446)(369,425)(370,426)(371,418)(372,417)
> (373,430)(374,429)(375,422)(376,421)(377,428)(378,427)(379,419)
> (380,420)(381,432)(382,431)(383,423)(384,424)(385,387)(386,388)
> (389,391)(390,392)(393,395)(394,396)(397,400)(398,399)(401,410)
> (402,409)(403,412)(404,411)(405,414)(406,413)(407,416)(408,415),
> (1,16,2,15)(3,50,4,49)(5,7,6,8)(9,51,10,52)
> (11,54,12,53)(13,25,14,26)(17,19,18,20)(21,42,22,41)
> (23,64,24,63)(27,29,28,30)(31,39,32,40)(33,37,34,38)
> (35,55,36,56)(43,47,44,48)(45,62,46,61)(57,59,58,60)
> (65,95)(66,96)(67,88)(68,87)(69,91)(70,92)(71,84)
> (72,83)(73,93)(74,94)(75,86)(76,85)(77,90)(78,89)
> (79,82)(80,81)(97,101)(98,102)(99,103)(100,104)(105,109)
> (106,110)(107,112)(108,111)(113,118)(114,117)(115,119)(116,120)
> (121,126)(122,125)(123,127)(124,128)(129,159)(130,160)(131,152)
> (132,151)(133,155)(134,156)(135,148)(136,147)(137,157)(138,158)
> (139,150)(140,149)(141,154)(142,153)(143,146)(144,145)(161,187)
> (162,188)(163,180)(164,179)(165,191)(166,192)(167,184)(168,183)
> (169,186)(170,185)(171,177)(172,178)(173,189)(174,190)(175,181)
> (176,182)(193,329)(194,330)(195,332)(196,331)(197,334)(198,333)
> (199,336)(200,335)(201,321)(202,322)(203,324)(204,323)(205,326)
> (206,325)(207,328)(208,327)(209,340)(210,339)(211,338)(212,337)
> (213,344)(214,343)(215,342)(216,341)(217,347)(218,348)(219,345)
> (220,346)(221,351)(222,352)(223,349)(224,350)(225,230)(226,229)
> (227,232)(228,231)(233,238)(234,237)(235,239)(236,240)(241,245)
> (242,246)(243,248)(244,247)(249,253)(250,254)(251,256)(252,255)
> (257,408)(258,407)(259,416)(260,415)(261,404)(262,403)(263,412)
> (264,411)(265,405)(266,406)(267,413)(268,414)(269,402)(270,401)
> (271,409)(272,410)(273,398)(274,397)(275,390)(276,389)(277,393)
> (278,394)(279,386)(280,385)(281,399)(282,400)(283,392)(284,391)
> (285,395)(286,396)(287,388)(288,387)(289,316)(290,315)(291,307)
> (292,308)(293,320)(294,319)(295,311)(296,312)(297,313)(298,314)
> (299,306)(300,305)(301,318)(302,317)(303,310)(304,309)(353,355)
> (354,356)(357,359)(358,360)(361,363)(362,364)(365,368)(366,367)
> (369,378)(370,377)(371,380)(372,379)(373,382)(374,381)(375,384)
> (376,383)(417,419)(418,420)(421,423)(422,424)(425,427)(426,428)
> (429,432)(430,431)(433,442)(434,441)(435,444)(436,443)(437,446)
> (438,445)(439,448)(440,447));;
gap> erg:=RepresentativeAction(a,b,c);;
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
#I  suborbits variant triggered, check!
gap> erg in a;
true
gap> b^erg=c;
true
